French translation for "quantifier elimination"

Élimination des quantificateurs

Example Sentences:

	1.	He is the inventor of garbage collection by reference counting and of the method of quantifier elimination by cylindrical algebraic decomposition. Il est l'inventeur du ramasse-miettes par comptage de références, et de la méthode de décomposition cylindrique algébrique,, en calcul formel.
	2.	Davenport and Heintz (1988) proved that quantifier elimination is in fact (at least) doubly exponential: there exists a family Φn of formulas with n quantifiers, of length O(n) and constant degree such that any quantifier-free formula equivalent to Φn must involve polynomials of degree 2 2 Ω ( n ) {\displaystyle 2^{2^{\Omega (n)}}} and length 2 2 Ω ( n ) {\displaystyle 2^{2^{\Omega (n)}}} , using the Ω asymptotic notation. James Davenport (en) et Joos Heintz ont montré en 1988 que le problème est intrinsèquement complexe : il existe une famille Φn de formules avec n quantificateurs, de longueur O(n) et de degré constant, telle que toute formule sans quantificateur équivalente à Φn doit mettre en œuvre des polynômes de degré 2 2 Ω ( n )

Similar Words：

"quantified" French translation, "quantified self" French translation, "quantifier" French translation, "quantifier (linguistics)" French translation, "quantifier (logic)" French translation, "quantify" French translation, "quantifying" French translation, "quantile" French translation, "quantile function" French translation